%%A
%rule
:-unknown(P,fail).

%23

is_concluded(contract(A,B,C),T3):-

	become_effective(acceptance(B,A, offer(A,B,C)),T3),
	become_effective(offer(A,B,C),T3).


%%H 申込の効力を契約成立の要件の一つと考えたのは正しいアプローチですね。
%%H 申込と到達の時点は同じでなければならないのでしょうか？

%15(1)

become_effective(offer(A,B,C),T1):-

	reach(offer(A,B,C),B,T1),
        \+((reach(withdrawl(A,B,C),B,T2),become_effective(withdrawl(A,B,offer(A,B,C),T2)))).

%%H 上の式で最後の行の「」は必要でしょうか。

%15(2)
become_effective(withdrawl(A,B,offer(A,B,C),T2)):-
        reach(withdrawl(A,B,C),B,T2),
        \+((reach(offer(A,B,C),B,T1),T1@<T2)).



%18(2)

become_effective(acceptance(B,A,C),T3):-

	reach(acceptance(B,A,C),A,T3).


%fact
%case3c

reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),bernard,t0407).
reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')),bernard,t0408).

reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,t0409).



%10月16日加筆修正（15条1項の訂正：括弧の数の修正）
%10月17日加筆修正（15条以降の再訂正：T2の変数の値として、到達というファクタを先に挿入、23条の訂正：become_effective(offer...)の要素を追加。）